WikiRank.net
ver. 1.6

Lean (proof assistant)

Qualidade:

Esta linguagem de programação é a 453º mais popular no ranking mundial da Wikipédia de linguagens de programação e o 403º mais popular linguagens de programação na Wikipédia em inglês. O artigo "Lean (proof assistant)" na Wikipédia em inglês tem 39.2 pontos para qualidade (em 1º de agosto de 2024). O artigo contém 19 referências e 11 seções.

Este artigo tem a melhor qualidade na Wikipédia em chinês. No entanto, este artigo é o mais popular na versão em inglês version.

Conquistas em todo o tempo:
Wikipédia em inglês:
Wikipédia Global:

Em julho de 2024 o artigo "Lean (proof assistant)" foi editado por 1 autores na Wikipédia em inglês e escrito por 4 autores em todos os idiomas.

Desde a criação do artigo "Lean (proof assistant)", seu conteúdo foi escrito por 53 usuários cadastrados na Wikipédia em inglês e editado por 98 usuários registrados da Wikipédia em todos os idiomas.

O artigo "Lean (proof assistant)" está em 403º lugar no ranking local de linguagens de programação na Wikipédia em inglês e está em 453º lugar no ranking global de linguagens de programação em todo o tempo.

O artigo é citado 344 vezes na Wikipédia em inglês e citado 476 vezes em todos os idiomas.

A classificação mais alta de interesse dos autores em 2001:

  • Local (inglês): Nº 18171 em outubro de 2023
  • Global: Nº 28638 em junho de 2024

A classificação de popularidade mais alta de 2008:

  • Local (inglês): Nº 107034 em julho de 2024
  • Global: Nº 160905 em julho de 2024

Existem versões deste artigo em 12 idiomas no banco de dados WikiRank (das 55 edições em idiomas da Wikipédia consideradas).

A avaliação de qualidade e popularidade foi baseada em despejos da Wikipedia de 1º de agosto de 2024 (incluindo histórico de revisões e visualizações de página de anos anteriores).

A tabela abaixo mostra as versões linguísticas do artigo com a mais alta qualidade.

Idiomas com a mais alta qualidade

#IdiomaGrau de qualidadePontuação de qualidade
1chinês (zh)
Lean
44.1679
2inglês (en)
Lean (proof assistant)
39.2322
3japonês (ja)
Lean (証明アシスタント)
33.3528
4alemão (de)
Lean (Beweisassistent)
31.898
5espanhol (es)
Lean
27.6817
6persa (fa)
لین (دستیار اثبات)
25.4167
7ucraniano (uk)
Lean
24.9286
8russo (ru)
Lean
21.4148
9vietnamita (vi)
Lean (trợ lý chứng minh)
13.5515
10holandês (nl)
Lean (bewijsassistent)
10.554
Mais...

A tabela a seguir mostra as versões linguísticas mais populares do artigo.

Mais popular de todos os tempos

As versões linguísticas mais populares do artigo "Lean (proof assistant)" em todo o tempo
#IdiomaPrêmio de popularidadePopularidade relativa
1inglês (en)
Lean (proof assistant)
198 539
2russo (ru)
Lean
7 610
3francês (fr)
Lean (assistant de preuve)
5 505
4japonês (ja)
Lean (証明アシスタント)
5 106
5alemão (de)
Lean (Beweisassistent)
1 729
6espanhol (es)
Lean
808
7chinês (zh)
Lean
355
8ucraniano (uk)
Lean
323
9tcheco (cs)
Lean (programovací jazyk)
251
10vietnamita (vi)
Lean (trợ lý chứng minh)
182
Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior popularidade no último mês.

Mais populares em julho de 2024

As versões linguísticas mais populares do artigo "Lean (proof assistant)" em julho de 2024
#IdiomaPrêmio de popularidadePopularidade relativa
1inglês (en)
Lean (proof assistant)
11 293
2japonês (ja)
Lean (証明アシスタント)
654
3alemão (de)
Lean (Beweisassistent)
561
4russo (ru)
Lean
330
5chinês (zh)
Lean
226
6francês (fr)
Lean (assistant de preuve)
163
7espanhol (es)
Lean
110
8tcheco (cs)
Lean (programovací jazyk)
15
9holandês (nl)
Lean (bewijsassistent)
15
10vietnamita (vi)
Lean (trợ lý chứng minh)
14
Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores.

A IA mais alta

Versões linguísticas do artigo "Lean (proof assistant)" com maior Interesse dos Autores (número de autores). Apenas usuários registrados da Wikipédia foram levados em consideração.
#IdiomaPrêmio de IAIA relativa
1inglês (en)
Lean (proof assistant)
53
2francês (fr)
Lean (assistant de preuve)
9
3alemão (de)
Lean (Beweisassistent)
8
4russo (ru)
Lean
8
5japonês (ja)
Lean (証明アシスタント)
7
6espanhol (es)
Lean
3
7vietnamita (vi)
Lean (trợ lý chứng minh)
3
8holandês (nl)
Lean (bewijsassistent)
2
9ucraniano (uk)
Lean
2
10tcheco (cs)
Lean (programovací jazyk)
1
Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores no último mês.

A IA mais alta em julho de 2024

Versões linguísticas do artigo "Lean (proof assistant)" com a IA mais alta em julho de 2024
#IdiomaPrêmio de IAIA relativa
1inglês (en)
Lean (proof assistant)
1
2espanhol (es)
Lean
1
3japonês (ja)
Lean (証明アシスタント)
1
4holandês (nl)
Lean (bewijsassistent)
1
5tcheco (cs)
Lean (programovací jazyk)
0
6alemão (de)
Lean (Beweisassistent)
0
7persa (fa)
لین (دستیار اثبات)
0
8francês (fr)
Lean (assistant de preuve)
0
9russo (ru)
Lean
0
10ucraniano (uk)
Lean
0
Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior número de citações.

O maior índice de citação

Versões linguísticas do artigo "Lean (proof assistant)" com o maior Índice de Citação (IC)
#IdiomaPrêmio de ICIC relativo
1inglês (en)
Lean (proof assistant)
344
2russo (ru)
Lean
75
3chinês (zh)
Lean
34
4francês (fr)
Lean (assistant de preuve)
7
5japonês (ja)
Lean (証明アシスタント)
5
6tcheco (cs)
Lean (programovací jazyk)
3
7alemão (de)
Lean (Beweisassistent)
3
8espanhol (es)
Lean
3
9ucraniano (uk)
Lean
2
10persa (fa)
لین (دستیار اثبات)
0
Mais...

Pontuações

Valor estimado para Wikipédia:
inglês:
Global:
Popularidade em julho de 2024:
inglês:
Global:
Popularidade em todos os anos:
inglês:
Global:
Autores em julho de 2024:
inglês:
Global:
Autores cadastrados em todos anos:
inglês:
Global:
Citações:
inglês:
Global:

Medidas de qualidade

Interwikis

#IdiomaValor
cstcheco
Lean (programovací jazyk)
dealemão
Lean (Beweisassistent)
eninglês
Lean (proof assistant)
esespanhol
Lean
fapersa
لین (دستیار اثبات)
frfrancês
Lean (assistant de preuve)
jajaponês
Lean (証明アシスタント)
nlholandês
Lean (bewijsassistent)
rurusso
Lean
ukucraniano
Lean
vivietnamita
Lean (trợ lý chứng minh)
zhchinês
Lean

Tendências de classificação de popularidade

Melhor Posição inglês:
Nº 107034
07.2024
Global:
Nº 160905
07.2024

Tendências de classificação de IA

Melhor Posição inglês:
Nº 18171
10.2023
Global:
Nº 28638
06.2024

Comparação de idiomas

Interconexões globais importantes

Resultados cumulativos de qualidade e popularidade do artigo da Wikipédia

Lista de artigos da Wikipédia em diferentes idiomas (começando pelos mais populares):

ru: Lean
es: Lean
zh: Lean
uk: Lean

Notícias de 27 de novembro de 2024

Em 27 de novembro de 2024, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Isabel, imperatriz da Áustria, Francisco José I da Áustria, Ação de Graças, Liga dos Campeões da UEFA, Wicked, Gladiator II, Elon Musk, ChatGPT, mortes em 2024, Wicked.

Na Wikipédia em inglês, os artigos mais populares naquele dia foram: International Society for Krishna Consciousness, Wicked (2024 film), Wicked (musical), Moana 2, Dancing with the Stars (American TV series) season 33, Gladiator II, Cynthia Erivo, Ilona Maher, Deaths in 2024, Ariana Grande.

Sobre o WikiRank

O projeto destina-se à avaliação relativa automática dos artigos nas diversas versões linguísticas da Wikipédia. No momento, o serviço permite comparar mais de 44 milhões de artigos da Wikipédia em 55 idiomas. Os índices de qualidade dos artigos são baseados em despejos da Wikipédia de agosto de 2024. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de julho de 2024. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2023... Mais Informações